ratiocinator логик

См. также в других словарях:

• ХИНТИККА — (Hintikka) Яакко (р. 1929) фин. логик и философ, ученик Г.Х. фон Вршта. Работал в Станфордском и Хельсинкском ун тах, в 1970 избран членом Академии Финляндии, проф. ун та Флориды, член Амер. академии наук и искусств, входит в состав редколлегий… …   Философская энциклопедия

• ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …   Философская энциклопедия